$\forall$$p$:FinProbSpace, $n$:$\mathbb{N}$, $k$:$\mathbb{N}^{+}$, $X$:(\{0..$k$$^{-}$\}$\rightarrow$(\{0..$n$$^{-}$\}$\rightarrow$Outcome)$\rightarrow\mathbb{N}$).
\\[0ex]E($n$;$\lambda$$s$.imax{-}list(map($\lambda$$i$.$X$($i$,$s$);upto($k$)))) $\leq$ $\Sigma$0 $\leq$ $i$ $<$ $k$
\\[0ex]E($n$;$X$($i$))